SLIQR
id_total, 1.416539053
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.069377428
id_inclusion_check_mod_p, 0.013257251
id_groebner_time, 0.42795886499999997
id_beautifulization, 0.150045806
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 335.0
